INCLUDES=-I$(top_srcdir)/include -I$(top_srcdir)/src/cudd/include
sources= cuddObj.cc

noinst_LIBRARIES = libcuddobj.a
libcuddobj_a_SOURCES= $(sources)

